Dynamic Negation and Negative Information
نویسنده
چکیده
This essay proposes a procedural interpretation of negative information in terms of split negation as procedural prohibition. Information frames and models are introduced, with negation defined as the implication of bottom, 0. A method for extracting the procedures prohibited by complex formulas is outlined, and the relationship between types of prohibited procedures is identified. Definitions of negation types in terms of the implication of 0 on an informational interpretation have been criticised. This criticism turns on the definitions creating a purportedly unnatural asymmetry between positive and negative information. It is demonstrated below that a strong asymmetry between positive and negative information is in fact the case. As such, an asymmetry between positive and negative information is natural, and something that we should want an informational interpretation of negation to preserve. keywords: negative information, positive information, split negation,
منابع مشابه
Elimination of Negation in a Logical Framework
We address the issue of endowing a logical framework with a logically justi ed notion of negation. Logical frameworks with a logic programming interpretation such as hereditary Harrop formulae cannot directly express negative information, although negation is a useful speci cation tool. Since negation-as-failure does not t well in a logical framework, especially one endowed with hypothetical an...
متن کاملDynamic Negation, the One and Only
We consider the variety of Dynamic Relation Algebras V DRA We show that the monoid of an algebra in this variety determines dynamic negation uniquely
متن کاملNegation in the brain: Modulating action representations
Sentential negation is a universal syntactic feature of human languages that reverses the truth value expressed by a sentence. An intriguing question concerns what brain mechanisms underlie our ability to represent and understand the meaning of negative sentences. We approach this issue by investigating action-related language processing and the associated neural representations. Using function...
متن کاملInformation Structure in PA/SN or Descriptive/ Metalinguistic Negation: With Reference to Scalar Implicatures1
This paper attempts to show how the information structure categories of Contrastive Topic (CT) and Contrastive Focus (CF) are correlated with PA (pero/aber) vs. SN (sino/sondern) respectively and also with DN (descriptive negation) vs. MN (metalinguistic negation) respectively when negative utterances are involved. Far Eastern and other languages including English will be investigated. It furth...
متن کاملNegation and Speculation Target Identification
Negation and speculation are common in natural language text. Many applications, such as biomedical text mining and clinical information extraction, seek to distinguish positive/factual objects from negative/speculative ones (i.e., to determine what is negated or speculated) in biomedical texts. This paper proposes a novel task, called negation and speculation target identification, to identify...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Rew. Symb. Logic
دوره 2 شماره
صفحات -
تاریخ انتشار 2009